<?php
$a=40;
echo json_encode($a);
?>